Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
91	Automatic selection of table areas in documents for information extraction Ana Costa e Silva1, Alípio Jorge2, Luís Torgo2 1 2 Add to Reading List Source URL: www.dcc.fc.up.pt Language: English - Date: 2012-12-13 10:18:40 Computing Data management Arrays Computer programming Algorithm Mathematical logic Theoretical computer science Join Lookup table HTML element Periodic table Hash table
92	Riemann bilinear relations on minimal surfaces Joaqu´ın P´erez∗ e-mail: Departamento de Geometr´ıa y Topolog´ıa Facultad de Ciencias Universidad de Granada Add to Reading List Source URL: www.ugr.es Language: English - Date: 2001-03-13 07:19:24 Mathematical analysis Differential geometry Differential topology Smooth functions Tangent space Differential geometry of surfaces Distribution Linear temporal logic
93	Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Logic Model theory Mathematics Computability theory Models of computation Formal languages Lambda calculus Theoretical computer science First-order logic Structure Interpretation
94	WCCI July 6-‐11, 2014, Beijing, China Fuzzy Image Processing: A Tutorial Professor Hamid R. Tizhoosh University of Waterloo, Canada Add to Reading List Source URL: www.conference123.org Language: English - Date: 2014-07-16 23:21:59 Fuzzy logic Logic Artificial intelligence Mathematical logic Academia Logic in computer science Image segmentation Type-2 fuzzy sets and systems Fuzzy set
95	Look-back Techniques for ASP Programs with Aggregates Wolfgang Faber1 , Nicola Leone1 , Marco Maratea1,2 , and Francesco Ricca1 1 Department of Mathematics, University of Calabria, 87036 Rende (CS), Italy Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-11-30 17:58:06 Logic Mathematics Mathematical logic Logic programming Model theory Stable model semantics Modal logic Substitution FO Binomial coefficient
96	Some Notes on Proofs with Alpha Graphs Frithjof Dau Technische Universit¨ at Dresden, Dresden, Germany Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2007-08-09 21:04:38 Logic Mathematical logic Abstraction Proof theory Propositional calculus Predicate logic Logical truth First-order logic Tautology Existential graph Cut-elimination theorem Well-formed formula
97	Asynchronous Knowledge Gradient Policy for Ranking and Selection Add to Reading List Source URL: informs-sim.org Language: English - Date: 2015-02-05 09:24:44 Statistics Operations research Probability Mathematical analysis Algorithm Mathematical logic Theoretical computer science Selection algorithm Mathematical optimization Simulation Normal distribution Logic simulation
98	6 base types types patterns matching clause seq. constants Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-12-10 13:53:23 Logic Computability theory Mathematical logic Theoretical computer science Symbol Substitution Lambda calculus Natural deduction
99	Microsoft PowerPoint - perspCompatibility Mode] Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2012-12-18 03:41:56 Logic Mathematical logic Mathematics Propositional calculus Automated theorem proving Boolean algebra Syntax Boolean satisfiability problem Clause Valuation Propositional variable Unit propagation
100	A syntactic approach to unification in transitive reflexive modal logics Rosalie Iemhoff∗ June 10, 2016 Abstract Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2016-06-10 10:39:23 Logic Mathematical logic Abstraction Non-classical logic Modal logic Automated theorem proving Logic programming Model theory Admissible rule Substitution Unification Intermediate logic